общезначимая формула

См. также в других словарях:

• ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории …   Философская энциклопедия

• ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… …   Философская энциклопедия

• Логика — (греч. logike̅́)         наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л …   Большая советская энциклопедия

• СЛЕДОВАНИЕ ЛОГИЧЕСКОЕ —     СЛЕДОВАНИЕ ЛОГИЧЕСКОЕ отношение между некоторым множеством высказываний Г (гипотез) и высказыванием В (заключением), отображающее тот факт, что, в силу только логической структуры названных высказываний и, значит, независимо от их содержания… …   Философская энциклопедия

• ОБЩЕЗНАЧИМОСТЬ — свойство логической формулы, состоящее в том, что эта формула истинна при любой интерпретации входящих в нее нелогич. символов, т. е. предикатных и пропозициональных переменных. Логич. формулы, обладающие этим свойством, наз. общезначимыми, или… …   Математическая энциклопедия

• ТАВТОЛОГИЯ — (греч. tauto то же самое; logos слово) 1) выражение, повторяющее ранее сказанное в иной языковой форме; 2) Т. в дефиниции логическая ошибка, заключающаяся в том, что определяемое понятие определяется через него самого, т.е. определяющая часть… …   Новейший философский словарь

• форма логическая —         ФОРМА ЛОГИЧЕСКАЯ способ связи составных частей содержания мысли в отличие от самого этого содержания, результат отвлечения от «материи» мысли, т.е. от того, какие именно индивиды, свойства, отношения, классы, ситуации и т.п. являются… …   Энциклопедия эпистемологии и философии науки

• ПРОПОЗИЦИОНАЛЬНОЕ ИСЧИСЛЕНИЕ — исчисление высказываний, логическое исчисление, в к ром выводимыми объектами являются пропозициональные формулы. Каждое П. и. задается набором аксиом (произвольных пропозициональных формул) и вывода правил. Формула, выводимая в данном П. и., наз …   Математическая энциклопедия

• КУЛЬТ — р е л и г и о з н ы й (лат. cultus, от colo – возделываю, почитаю) – религ. почитание каких либо предметов или сверхъестеств. существ, обрядовая сторона религии. В широком смысле в понятие К. включаются все виды действий, связанных с религ. магич …   Философская энциклопедия

• Парейсон Луиджи — Личность как орган истины Жизнь и сочинения     Луиджи Парейсон родился в г. Пиаско (Кунео) 4 февраля 1918 г. Философию изучал в Турине и в 1939 г., будучи учеником Августа Гуццо, выступил по поводу тезисов Карла Ясперса. Некоторое время он… …   Западная философия от истоков до наших дней